منابع مشابه
Cutting plane and Frege proofs
The cutting plane refutation system CP for propositional logic is an extension of resolution and is based on showing the non-existence of solutions for families of integer linear inequalities. We deene the system CP + , a modiication of the cutting plane system, and show that CP + can polynomially simulate Frege systems F. In 8], it is shown that F polynomially simulates CP + , so both systems ...
متن کاملCutting-Plane Proofs in Polynomial Space
The integer programming problem is to decide if a given system of linear inequalities has an integral solution. Recent progress on this algorithmic question has involved techniques from the geometry of numbers, in the celebrated paper of Lenstra [20] and in results of Babai [1], Gr6tschel, Lovfisz and Schrijver [14] and Kannan [16]. One of the things that is apparent in these results is the imp...
متن کاملPropositional Proofs in Frege and Extended Frege Systems (Abstract)
We discuss recent results on the propositional proof complexity of Frege proof systems, including some recently discovered quasipolynomial size proofs for the pigeonhole principle and the Kneser-Lovász theorem. These are closely related to formalizability in bounded arithmetic.
متن کاملClique problem, cutting plane proofs and communication complexity
Motivated by its relation to the length of cutting plane proofs for the Maximum Biclique problem, we consider the following communication game on a given graph G, known to both players. Let K be the maximal number of vertices in a complete bipartite subgraph of G, which is not necessarily an induced subgraph if G is not bipartite. Alice gets a set a of vertices, and Bob gets a disjoint set b of...
متن کاملPropositional Proofs and Their Complexity -- Analytic Tableau, Resolution, Cutting-Plane
Electronic copies of technical reports are available: Via FTP: URL ftp://ftp.informatik.uni-trier.de/pub/Users-Root/reports Via WWW: URL http://www.informatik.uni-trier.de/Reports/Current.html Via email: Send a mail to [email protected], subject ’HELP’, for detailed instructions Printed copies: Trierer Forschungsberichte Fachbereich IV Mathematik / Informatik Universitat Trier ..
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Information and Computation
سال: 1995
ISSN: 0890-5401
DOI: 10.1006/inco.1995.1126